Gert Smolka: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Gert Smolka (auth.), Chris Hankin (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 15.71 MB

0 / 0

english, 1998

2

Programmierung - eine Einfuhrung in die Informatik mit Standard ML

Programmierung - eine Einfuhrung in die Informatik mit Standard ML

წელი:

2007

ენა:

german

ფაილი:

PDF, 1.55 MB

0 / 0

german, 2007

3

Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Gert Smolka (auth.), Peter Van Roy (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 4.67 MB

0 / 0

english, 2005

4

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Odersky (auth.), Gert Smolka (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 4.05 MB

0 / 0

english, 2000

5

Introduction to Computational Logic (SS 2014) [lecture notes]

Introduction to Computational Logic (SS 2014) [lecture notes]

Gert Smolka, Chad E. Brown

წელი:

2014

ენა:

english

ფაილი:

PDF, 1.24 MB

0 / 0

english, 2014

6

Programmierung - eine Einführung in die Informatik mit Standard ML

Programmierung - eine Einführung in die Informatik mit Standard ML

Oldenbourg Wissenschaftsverlag

წელი:

2011

ენა:

german

ფაილი:

PDF, 1.85 MB

0 / 0

german, 2011

7

Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

Springer-Verlag Berlin Heidelberg

Gert Smolka (auth.), Peter Van Roy (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 3.63 MB

0 / 0

english, 2005

8

Confluence and Normalization in Reduction Systems [lecture notes]

Confluence and Normalization in Reduction Systems [lecture notes]

წელი:

2015

ენა:

english

ფაილი:

PDF, 127 KB

0 / 0

english, 2015

9

Programmierung - eine Einführung in die Informatik mit Standard ML

Programmierung - eine Einführung in die Informatik mit Standard ML

Oldenbourg Wissenschaftsverlag

წელი:

2009

ენა:

german

ფაილი:

PDF, 2.21 MB

0 / 0

german, 2009

10

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Pascal Van Hentenryck (auth.), Gert Smolka (eds.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 5.48 MB

0 / 0

english, 1997

11

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Martin Odersky (auth.), Gert Smolka (eds.)

წელი:

2000

ენა:

english

ფაილი:

PDF, 1.97 MB

0 / 0

english, 2000

12

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Pascal Van Hentenryck (auth.), Gert Smolka (eds.)

წელი:

1997

ენა:

english

ფაილი:

PDF, 12.68 MB

0 / 0

english, 1997